Intrinsically-typed definitional interpreters à la carte

Death à la carte

Delegates arrived at the hotel on a rainy Sunday evening where they were immediately made welcome and encouraged to relax over dinner while chatting to other EWCD (European Workshop on Cell Death) participants. The EWCD is a bi-annual conference that focuses on all aspects of cell death. Each conference is held in a different unique location, with this year’s being no exception. The six-day mee...

Concurrent Objects à la Carte

Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at run-time. Designing software services and composing services in order to form applications or composite services requires abstractions beyond those found in typical object-oriented programming languages. In this paper, we explore a ...

Potatoes à la Genetic Carte

Fishing history à la carte

The decline in many marine fisheries is well documented but there is less information about the scale and timing of their demise. Researchers are now beginning to search for such information in the hope that it may help reveal how different fisheries might best be conserved or restored. One novel source has been seafood prices collected from US restaurant menus dating to the 1850s, which are he...

Polarization response of nanowires à la carte

Thanks to their special interaction with light, semiconductor nanowires have opened new avenues in photonics, quantum optics and solar energy harvesting. One of the major challenges for their full technological deployment has been their strong polarization dependence in light absorption and emission. In the past, metal nanostructures have been shown to have the ability to modify and enhance the...